<?php

$carp_status_title = gettext('CARP');
$carp_status_title_link = 'carp_status.php';
